Ideal Logic